-
1 deduction theorem
The English-Russian dictionary general scientific > deduction theorem
-
2 deduction theorem
Большой англо-русский и русско-английский словарь > deduction theorem
-
3 deduction theorem
-
4 deduction theorem
Математика: теорема дедукции, теорема о дедукции -
5 deduction theorem
теорема о дедукцииEnglish-Russian dictionary of technical terms > deduction theorem
-
6 deduction theorem
мат. -
7 deduction theorem
-
8 theorem
- analytical hierarchy theorem - arithmetical hierarchy theorem - closed range theorem - formally provable theorem - implicit function theorem - initial value theorem - integral representation theorem - local limit theorem - maximal ergodic theorem - mean value theorem - normal form theorem - ratio limit theorem - rational root theorem - second mean value theorem - theorem of consistency proofs - theorem of corresponding states - three line theorem - three series theorem - uniform convergence theorem - uniform ergodic theorem - uniform mean value theoremtheorem implies — из теоремы следует, что…
-
9 deduction
1. n вычитание, удержание2. n удержание, вычет3. n мат. вычитаемое4. n скидка, сбавка; уступка5. n вывод, заключение, следствие6. n лог. выведение, дедукцияto draw a deduction — сделать вывод, вывести следствие
Синонимический ряд:1. inference (noun) answer; conclusion; illation; inference; judgement; judgment; ratiocination; result; sequitur2. inferring (noun) concluding; inferring; reasoning3. reduction (noun) abatement; abstraction; discount; excision; rebate; reduction; removal; subtraction -
10 theorem
теорема
– altitude theorem
– Arzela-Ascoli theorem
– azygetic theorem
– binomial theorem
– compensation theorem
– conclusion of theorem
– conductor-ramification theorem
– converse of theorem
– deduction theorem
– distortion theorem
– duality theorem
– embedding theorem
– existence theorem
– expansion theorem
– gap theorem
– Karhunen-Loeve theorem
– localization theorem
– mean-value theorem
– minimax theorem
– Nagy-Faias theorem
– Nikodym theorem
– Plancherel theorem
– preparation theorem
– remainder theorem
– reverse-flow theorem
– sampling theorem
– sewing theorem
– shift theorem
– similarity theorem
– theorem os sines
– Theveni's theorem
– transference theorem
– uniqueness theorem
– Van Cittert-Zernike theorem
– Wiener-Paley theorem
central limit theorem — теорема о центральном пределе, теорема предельная центральная, центральная предельная теорема
Fermat's last theorem — Ферма великая теорема, последняя теорема Ферма
Nyquist-Kotelnikov-Shannon sampling theorem — <math.> теорема отсчетов Шеннона-Котельникова
theorem of corresponding states — теорема соответственных состояний
-
11 deduction
1) вычитание
2) дедукция
3) вычитаемое
4) выведение
5) вывод
6) умозаключение
7) скидка
8) удержание
9) отчисления
– contributory deduction
– deduction theorem
– hypothetical deduction
– resulting deduction
– subsidiary deduction -
12 deduction
дедукция; вычитание -
13 hypothetic deduction
The English-Russian dictionary general scientific > hypothetic deduction
-
14 hypothetical deduction
The English-Russian dictionary general scientific > hypothetical deduction
-
15 теорема о дедукции
Большой англо-русский и русско-английский словарь > теорема о дедукции
-
16 addition
1. n прибавление; дополнение; пополнениеin addition — кроме того, вдобавок; к тому же
2. n амер. пристройка, крыло3. n амер. пограничный участок земли, присоединённый к участку другого владельца4. n амер. пригородный участок, выделенный для городского строительства5. n амер. эк. прирост основного капитала6. n амер. мат. сложение; суммирование7. n амер. хим. примесь8. n амер. метал. присадка9. n амер. геол. привносСинонимический ряд:1. accession (noun) accession; accretion; augmentation; expansion; increase; increment; raise; rise2. addendum (noun) addendum; adjunct; appendage3. adding (noun) adding; appending; attaching; joining4. annex (noun) annex; extension; wing5. annexation (noun) accessory; admixture; annexation; cast; codicil6. summation (noun) computing; counting; reckoning; summation; summing up; tabulating; totalingАнтонимический ряд:decrease; deduction; deterioration; detraction; diminution; drawback; lessening; loss; preface; reduction; subtraction
См. также в других словарях:
Deduction theorem — In mathematical logic, the deduction theorem is a metatheorem of first order logic.[1] It is a formalization of the common proof technique in which an implication A → B is proved by assuming A and then proving B from this assumption.… … Wikipedia
deduction theorem — The theorem provable about some logical systems, that if a conclusion C can be proved from a set of premises A1…An, then there is a proof of An→ C from A1…An–1 … Philosophy dictionary
theorem — [n] explanation based on hypothesis and experiments assumption, axiom, belief, deduction, dictum, doctrine, formula, fundamental, law, postulate, principium, principle, proposition, rule, statement, theory, thesis; concepts 529,688,689 Ant. fact … New thesaurus
Theorem — The Pythagorean theorem has at least 370 known proofs[1] In mathematics, a theorem is a statement that has been proven on the basis of previously established statements, such as other theorems, and previously accepted statements … Wikipedia
theorem — Synonyms and related words: a priori principle, a priori truth, affirmation, apriorism, assertion, assumed position, assumption, axiom, basis, brocard, categorical proposition, conjecture, data, deduction, dictate, dictum, first principles,… … Moby Thesaurus
Hilbert-style deduction system — In logic, especially mathematical logic, a Hilbert style deduction system is a type of system of formal deduction attributed to Gottlob FregeMáté Ruzsa 1997:129] and David Hilbert. These deductive systems are most often studied for first order… … Wikipedia
Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… … Wikipedia
Gödel's completeness theorem — is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first order logic. It was first proved by Kurt Gödel in 1929. A first order formula is called logically valid if… … Wikipedia
Proof sketch for Gödel's first incompleteness theorem — This article gives a sketch of a proof of Gödel s first incompleteness theorem. This theorem applies to any formal theory that satisfies certain technical hypotheses which are discussed as needed during the sketch. We will assume for the… … Wikipedia
Löwenheim–Skolem theorem — In mathematical logic, the Löwenheim–Skolem theorem, named for Leopold Löwenheim and Thoralf Skolem, states that if a countable first order theory has an infinite model, then for every infinite cardinal number κ it has a model of size κ. The… … Wikipedia
Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… … Wikipedia